Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
751	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:57:10 Automated theorem proving Year of birth missing Logic in computer science Logic programming Prolog Planner Keith Clark Model elimination Logic Software engineering Computing Computer programming
752	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-07-02 09:31:37 Mathematics Logic in computer science Systems engineering Automated theorem proving Formal verification Software verification Model checking Logic simulation Correctness Formal methods Applied mathematics Theoretical computer science
753	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-08-23 14:58:44 Logic in computer science Formal methods Automated theorem proving HOL Logic for Computable Functions Higher-order logic Isabelle Michael J. C. Gordon Theorem Proving in Higher-Order Logics Theoretical computer science Mathematics Applied mathematics
754	PDF Document Add to Reading List Source URL: www.ams.org Language: English - Date: 2008-11-20 13:32:58 Proof theory Automated theorem proving Logic in computer science Model theory Mathematical proof Theorem Proof assistant Isabelle Jordan curve theorem Logic Mathematics Mathematical logic
755	PDF Document Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-09-22 22:46:06 Formal methods Logical syntax Formal languages Metamath Set theory Automated proof checking Axiom Automated theorem proving First-order logic Logic Mathematics Mathematical logic
756	PDF Document Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2003-07-03 23:51:49 Automated theorem proving Formal systems Model theory Z notation Richard Waldinger SNARK Logic programming Axiom First-order logic Logic Mathematics Mathematical logic
757	PDF Document Add to Reading List Source URL: wps.aw.com Language: English - Date: 2008-06-24 17:03:38 Lisp programming language Automated theorem proving Functional languages Constraint programming Object-oriented programming Prolog Logic programming Lisp Planner Computing Software engineering Computer programming
758	PDF Document Add to Reading List Source URL: mzone.mweb.co.za Language: English - Date: 2011-09-26 03:04:02 Mathematical proof Proof theory Philosophy of mathematics Automated theorem proving Theorem Quasi-empiricism in mathematics Four color theorem Proof KeY Mathematics Logic Mathematical logic
759	PDF Document Add to Reading List Source URL: ttvsi.gilith.com Language: English - Date: 2009-09-28 15:59:09 Applied mathematics Formal methods Automated theorem proving ACL2 Lisp programming language Formal verification Michael J. C. Gordon HOL Mathematical logic Theoretical computer science Mathematics Logic in computer science
760	PDF Document Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2002-09-05 11:32:52 Proof theory Model theory Logic in computer science Automated theorem proving Metalogic Curry–Howard correspondence Natural deduction Admissible rule Sequent calculus Logic Mathematical logic Mathematics

UPDATE